Merge pull request #3510 from cgwalters/release
authorColin Walters <walters@verbum.org>
Mon, 25 Aug 2025 15:07:26 +0000 (11:07 -0400)
committerGitHub <noreply@github.com>
Mon, 25 Aug 2025 15:07:26 +0000 (11:07 -0400)
Release 2025.5


Trivial merge